L-JOIN MEET APPROXIMATION OPERATORS

Join-meet Approximation Operators Induced by Alexandrov Fuzzy Topologies

In this paper, we investigate the properties of Alexandrov fuzzy topologies and join-meet approximation operators. We study fuzzy preorder, Alexandrov topologies join-meet approximation operators induced by Alexandrov fuzzy topologies. We give their examples.

L-upper Approximation Operators and Join Preserving Maps

In this paper, we investigate the properties of join and meet preserving maps in complete residuated lattice using Zhang’s the fuzzy complete lattice which is defined by join and meet on fuzzy posets. We define L-upper (resp. L-lower) approximation operators as a generalization of fuzzy rough sets in complete residuated lattices. Moreover, we investigate the relations between L-upper (resp. L-l...

Meet- and join-closure of CTL operators

Results from lattice theory have successfully been applied by several researchers, e.g. [1, 7, 9, 10], to reduce the complexity of verification of distributed computations. The set of all reachable states of a distributed computation forms a lattice under a certain partial order relation. A property is said to exhibit meet-closure if the set of reachable states satisfying it is closed under the...

The Properties of L-lower Approximation Operators

In this paper, we investigate the properties of L-lower approximation operators as a generalization of fuzzy rough set in complete residuated lattices. We study relations lower (upper, join meet, meet join) approximation operators and Alexandrov L-topologies. Moreover, we give their examples as approximation operators induced by various L-fuzzy relations.

Approximation by Rational Operators in L Spaces